Pandora: the Time of Priority-and Gates
نویسندگان
چکیده
Classical Fault Tree Analysis (FTA) can determine the effects of combinations of failure events on a system but cannot capture the potentially critical significance of the temporal ordering of events. In this paper, we propose a temporal extension based on the use of Priority-AND gates to allow relative temporal ordering and temporal analysis in FTA. The classical notion of minimal cut-sets is replaced with the notion of minimal cutsequences and a methodology is proposed for qualitative analysis. The approach is demonstrated on a generic two stage standby recovery system. The paper tentatively concludes that this type of temporal FTA can provide a more precise and ultimately more correct insight into the failure behaviour of a system. Copyright © 2006 IFAC
منابع مشابه
IFAC Workshop on Dependable Control of Discrete Event Systems DCDS’07, Paris 13-15 June 2007 PANDORA 2: THE TIME OF PRIORITY-OR GATES
Pandora is a recently proposed technique that extends classical Fault Tree Analysis to incorporate the effects of the temporal ordering of failure events. In this paper, we extend the conceptual foundation of Pandora with a new Priority-OR (POR) gate and we introduce the concept of a Temporal Truth Table as a mechanism that can be used to prove equivalence of expressions in Pandora logic. We al...
متن کاملQuantification of Priority-OR Gates in Temporal Fault Trees
Fault Tree Analysis has been used in reliability engineering for many decades and has seen various modifications to enable it to analyse fault trees with dynamic and temporal gates so it can incorporate sequential failure in its analysis. Pandora is a technique that analyses fault trees logically with three temporal gates (PAND, SAND, POR) in addition to Boolean gates. However, it requires exte...
متن کاملLow Delay Time All Optical NAND, XNOR and OR Logic Gates Based on 2D Photonic Crystal Structure
Background and Objectives: Recently, photonic crystals have been considered as the basic structures for the realization of various optical devices for high speed optical communication. Methods: In this research, two dimensional photonic crystals are used for designing all optical logic gates. A photonic crystal structure with a triangular lattice is proposed for making NAND, XNOR, and OR optica...
متن کاملReliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks
Classical combinatorial fault trees can be used to assess combinations of failures but are unable to capture sequences of faults, which are important in complex dynamic systems. A number of proposed techniques extend fault tree analysis for dynamic systems. One of such technique, Pandora, introduces temporal gates to capture the sequencing of events and allows qualitative analysis of temporal f...
متن کاملQuantitative evaluation of Pandora Temporal Fault Trees via Petri Nets
Using classical combinatorial fault trees, analysts are able to assess the effects of combinations of failures on system behaviour but are unable to capture sequence dependent dynamic behaviour. Pandora introduces temporal gates and temporal laws to fault trees to allow sequence-dependent dynamic analysis of events. Pandora can be easily integrated in model-based design and analysis techniques;...
متن کامل